System-level Logical Execution Time

Logical Execution Time (LET) is a timed programming abstraction, which features predictable and composable timing. It has recently gained considerable attention in the automotive industry, where it was successfully applied to master distribution of software applications on multi-core electronic control units. However, LET abstraction its conventional form only valid within scope single component. With recent introduction System-level (SL LET), concept could be transferred system-wide scope. This article improves over first paper SL LET, by providing matured definitions an extensive discussion concept. also comprehensive evaluation exploring impacts with regard design, verification, performance, implementability. The goes far beyond contexts originally applied. Indeed, allows us address many open challenges design verification complex embedded hardware/software systems addressing predictability, synchronization, composability, extensibility. Furthermore, we investigate performance trade-offs, quantify implementation costs analysis additionally required buffers.